Weak decidability of some modal extention of trigonometry
نویسندگان
چکیده
منابع مشابه
some properties of fuzzy hilbert spaces and norm of operators
in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...
15 صفحه اولSemantical Investigations on Some Weak Modal
In this paper we examine weak logics similar to S0.5[ Φ], where Φ ⊆ S0.5. We also examine their versions (one of which is S0.5rte[ Φ]) that are closed under replacement of tautological equivalents (rte). We have that: S0.5rte[ (K), (T)] ( S0.9, S0.5rte[ (X), (T)] ( S1, and in general, if Φ ⊆ E1, then S0.5rte[ Φ] ( S2. In the second part we shall give simplified semantics for these logics, formu...
متن کاملBisimulation Quantified Modal Logics: Decidability
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfortunately, it is not the case that extension by bisimulation quantifiers always preserves the decidability of a modal logic. Here we examine a general class of modal logics for which decidability is preserved under exte...
متن کاملOn Decidability of Intuitionistic Modal Logics
We prove a general decidability result for a class of intuitionistic modal logics. The proof is a slight modification of the Ganzinger, Meyer and Veanes [6] result on decidability of the two variable monadic guarded fragment of first order logic with constraints on the guard relations expressible in monadic second order logic.
متن کاملDecidability of order-based modal logics
Decidability of the validity problem is established for a family of many-valued modal logics, notably modal logics based on Gödel logics, where propositional connectives are evaluated locally at worlds according to the order of values in a complete sublattice of the real unit interval, and box and diamond modalities are evaluated as infima and suprema of values in (many-valued) Kripke frames. W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1974
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-81-3-255-260